منابع مشابه
Recursion in Curve Geometry
Recursion schemes are familiar in the theory of soliton equations, e.g., in the discussion of infinite hierarchies of conservation laws for such equations. Here we develop a variety of special topics related to curves and curve evolution in two and three-dimensional Euclidean space, with recursion as a unifying theme. The interplay between curve geometry and soliton theory is highlighted.
متن کاملRecursion Diagrams: ideas for a Geometry of Formal Methods
This paper describes work leading towards the concept of a Geometry of Formal Methods[Mac96],[HM97], which explores the relationship between various formal specifications and aspects of modern abstract algebraic theories with a strong geometric interpretation, in particular such concepts as fibre-bundles, sheaves and related ideas in topology and category theory. Inspired by ideas and notions o...
متن کاملTowards Kleene Algebra with Recursion
We extend Kozen’s theory KA of Kleene Algebra to axiomatize parts of the equational theory of context-free languages, using a least fixed-point operator μ instead of Kleene’s iteration operator ∗. Although the equational theory of context-free languages is not recursively axiomatizable, there are natural axioms for subtheories KAF ⊆ KAR ⊆ KAG: respectively, these make μ a least fixed point oper...
متن کاملTowards Merging Recursion and Comonads
Comonads are mathematical structures that account naturally for eeects that derive from the context in which a program is executed. This paper reports ongoing work on the interaction between recursion and comonads. Two applications are shown that naturally lead to versions of a comonadic fold operator on the product comonad. Both versions capture functions that require extra arguments for their...
متن کاملa tripartite model of efl teachers attributions, burnout, and self-regulation: towards the prospects of effective teaching
همطالعه حاضر به ارائه مدلی برای آموزش موثر زبان انگلیسی می پردازد. مدل حاضر از سه عامل تاثیر گذار در کارایی تدریس معلمان زبان انگلیسی بهره می برد. این سه عامل شامل سبکهای اسنادی، خود تنطیمی و فرسودگی شغلی معلمان ایرانی زبان انگلیسی می باشد. رساله مورد نظر درچهار فاز طراحی شده است: فاز اول شامل طراحی و رواسازی پرسشنامه سبکهای اسنادی معلمان زبان انگلیسی و فاز دوم شامل استفاده از این پرسشنا...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2011
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2010.12.024